c formula generated with seed 9, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 19, 20, 22, 26, 28, 29, 30, 32, 36, 42, 46, 47, 48, 51, 54, 55, 56, 60, 61, 63, 64, 66, 68, 69, 71, 72, 74, 77, 78, 82, 87, 88, 89, 94, 97, 100, 101, 102, 103, 104, 107, 108, 110, 112, 116, 117, 118, 120, 122, 123, 124, 128, 130, 131, 135, 144, 145, 147, 148, 152, 154, 158, 159, 161, 162, 163, 164, 166, 167, 169, 170, 171, 173, 174, 175, 177, 178, 183, 185, 189, 194, 197, 199, 200, 202, 203, 204, 205, 206, 211, 213, 216, 217, 219, 225, 227, 230, 231, 234, 235, 236, 238, 240, 242, 244, 246, 247, 248, 250, 252, 253, 258, 260, 261, 262, 264, 268, 271, 272, 274, 278, 279, 282, 283, 284, 286, 288, 293, 296, 298, 300, 308, 309, 310, 311, 313, 315, 316, 317, 318, 319, 323, 324, 325, 326, 327, 328, 331, 335, 336, 337, 338, 340, 341, 345, 348, 349, 354, 355, 356, 357, 359, 361, 362, 364, 366, 367, 372, 373, 374, 377, 378, 379, 380, 389, 390, 394, 395, 398, 401, 403, 406, 407, 408, 411, 412, 413, 414, 415, 416, 417, 418, 421, 423, 424, 426, 427, 429, 431, 432, 435, 438, 440, 441, 444, 445, 446, 447, 448, 449, 450, 453, 454, 455, 458, 459, 462, 464, 465, 468, 469, 473, 475, 476, 479, 481, 482, 483, 485, 486, 487, 489, 491, 492, 493, 497, 498, 500, 501, 502, 504, 506, 507, 508, 511, 513, 515, 516, 518, 523, 524, 527, 528, 529, 531, 534, 538, 542, 543, 546, 547, 548, 550, 551, 554, 555, 556, 557, 559, 560, 562, 563, 567, 568, 569, 570, 571, 575, 576, 577, 579, 583, 584, 586, 587, 591, 593, 596, 597}
p cnf 600 2646
-261 -114 25 0
-185 -491 -525 0
311 112 -346 0
-41 497 -347 0
-234 -552 442 0
-469 264 -336 0
-58 -494 476 0
-335 342 502 0
-4 -401 568 0
-536 169 -301 0
-555 -92 196 0
515 -224 102 0
-381 361 -522 0
-36 423 582 0
536 384 -532 0
100 446 -541 0
-47 573 -297 0
239 -385 -367 0
518 -161 305 0
-459 -417 144 0
223 304 374 0
545 240 -325 0
-468 -200 -45 0
-37 108 -149 0
-194 -130 78 0
18 -74 -10 0
563 579 -291 0
357 292 16 0
465 121 -406 0
517 283 151 0
139 -389 340 0
69 360 526 0
433 567 -268 0
281 -316 497 0
-319 531 245 0
-597 569 -453 0
472 335 229 0
-258 463 546 0
455 -56 -337 0
392 -566 249 0
573 -195 12 0
590 250 113 0
-539 195 -423 0
257 -192 -495 0
-80 -50 116 0
-201 310 -539 0
-298 130 -282 0
107 -5 -498 0
317 320 371 0
564 477 -191 0
253 131 197 0
350 390 -284 0
153 -410 125 0
-171 -409 -547 0
368 513 376 0
-386 -62 112 0
305 -308 -422 0
-350 571 213 0
195 -317 459 0
-144 -57 -68 0
474 -281 -32 0
341 103 324 0
-5 -245 382 0
-483 470 130 0
306 244 329 0
-227 -374 -43 0
-333 301 463 0
179 -408 -176 0
-44 -331 -554 0
46 -422 30 0
-142 252 415 0
-179 281 132 0
-130 -197 -463 0
130 -585 46 0
57 -26 547 0
19 217 197 0
266 -353 -282 0
-508 -191 -326 0
261 262 -387 0
394 431 -582 0
-483 -252 311 0
291 -411 -442 0
295 437 313 0
34 -267 129 0
-190 -545 28 0
115 -493 103 0
558 192 -360 0
340 -182 -460 0
-311 221 104 0
220 242 439 0
-183 -69 -156 0
-154 -65 573 0
139 38 367 0
358 -493 506 0
282 -528 -390 0
487 -295 116 0
220 263 401 0
246 -172 -457 0
-595 -69 -313 0
-547 470 -168 0
-296 -508 -369 0
79 -307 18 0
416 -106 -442 0
-18 -488 110 0
458 429 13 0
359 -300 533 0
283 -490 246 0
-60 -12 -318 0
-429 275 489 0
-534 -316 -249 0
-550 -295 90 0
-174 188 202 0
-12 70 -78 0
-530 487 -302 0
-424 486 295 0
-135 273 -137 0
-455 489 -528 0
-64 -490 -130 0
254 533 56 0
224 254 120 0
192 -172 -240 0
320 455 330 0
579 -545 583 0
521 295 -232 0
19 -92 543 0
112 597 -53 0
60 -47 471 0
-278 -52 228 0
-163 -288 183 0
464 563 -70 0
358 354 -341 0
-226 -141 144 0
353 177 -337 0
194 -101 -373 0
109 303 213 0
-257 60 -151 0
206 -294 -141 0
243 508 214 0
416 422 574 0
330 568 -152 0
388 326 -205 0
127 10 423 0
-496 -559 -355 0
576 -504 -597 0
20 279 314 0
-561 -28 133 0
-106 420 -36 0
-34 -292 356 0
317 38 -331 0
516 -162 -554 0
-468 231 -247 0
456 90 -267 0
527 -99 310 0
-45 17 -569 0
560 1 -41 0
-389 149 -251 0
113 -157 -117 0
537 -291 -458 0
302 -397 239 0
-360 -218 -343 0
-310 -480 133 0
-502 -275 18 0
-248 -481 -600 0
215 88 -481 0
256 -45 -367 0
164 -204 -593 0
-401 -56 -229 0
-345 -574 -231 0
-494 -529 -414 0
134 173 471 0
153 -266 360 0
299 -213 300 0
-532 506 4 0
-287 103 6 0
206 -269 -92 0
-317 -23 -327 0
16 598 476 0
-479 95 -73 0
-511 367 157 0
330 434 -106 0
337 191 456 0
-15 231 -367 0
-104 -45 -94 0
-232 -97 590 0
233 -90 53 0
571 216 -588 0
83 289 511 0
-292 -284 480 0
-209 128 317 0
511 186 519 0
553 -126 65 0
-547 172 366 0
137 -17 -336 0
363 265 -371 0
95 -415 390 0
27 -587 -254 0
-181 -210 -333 0
6 275 85 0
286 -152 -361 0
365 -52 31 0
207 490 -182 0
75 -416 261 0
-411 -305 -240 0
-301 284 -384 0
415 -333 -114 0
398 -433 417 0
286 -139 -90 0
-23 -180 51 0
337 258 364 0
-354 -53 330 0
454 -166 -185 0
-202 -85 139 0
264 -30 -217 0
469 533 384 0
373 89 445 0
-445 229 -277 0
-421 -550 -353 0
-76 -367 261 0
-511 281 -99 0
-538 287 60 0
64 541 269 0
-347 -517 296 0
-458 145 241 0
535 -498 199 0
346 -442 -567 0
-562 21 -392 0
-526 208 582 0
531 217 -52 0
-10 206 -321 0
327 -524 -130 0
276 557 -403 0
340 -129 163 0
-71 310 -534 0
-111 -589 -143 0
436 -454 -592 0
-15 -491 -384 0
75 382 272 0
468 269 342 0
426 343 358 0
-58 -1 -242 0
-111 72 -429 0
387 -401 260 0
-77 -83 273 0
-389 -240 -303 0
284 -18 -360 0
-556 191 389 0
-110 173 -551 0
180 577 -63 0
-429 600 9 0
173 -14 41 0
231 313 217 0
-324 161 -101 0
-531 584 456 0
10 473 -61 0
299 -84 -136 0
26 -210 -294 0
-20 -244 158 0
-105 -181 -2 0
75 -414 -433 0
-358 -518 212 0
-143 346 -570 0
205 -204 193 0
539 -37 187 0
-518 596 -203 0
557 84 -177 0
340 -176 -137 0
285 -339 -171 0
136 -203 -125 0
191 -180 334 0
-106 -105 -76 0
369 97 -511 0
-187 269 -66 0
-421 317 463 0
180 250 510 0
315 311 -136 0
-328 62 110 0
-303 178 415 0
-206 -331 -136 0
-207 116 -592 0
89 -550 -568 0
-417 493 -14 0
-180 -321 -438 0
-26 -361 -11 0
-134 -309 -107 0
162 304 -337 0
133 582 -526 0
320 225 488 0
12 92 258 0
-442 513 -352 0
546 424 513 0
-526 -423 -48 0
-595 -120 -429 0
218 59 -290 0
-378 -592 140 0
-579 -111 550 0
-233 -119 -198 0
-507 -272 345 0
-526 -524 17 0
-134 -317 -110 0
-447 304 326 0
573 43 579 0
-52 413 -439 0
-63 97 393 0
243 -110 -322 0
-549 314 105 0
-427 -195 461 0
110 111 338 0
263 -531 -52 0
244 386 -380 0
-2 437 -487 0
-143 490 -579 0
327 561 295 0
-67 -344 124 0
-251 -309 -468 0
231 -282 -104 0
-368 -433 356 0
-342 -88 -548 0
443 -207 -446 0
445 -422 -539 0
-252 -198 347 0
-416 -276 133 0
394 530 -373 0
442 63 -560 0
-482 307 -600 0
-348 420 -207 0
-542 -251 302 0
-555 284 -158 0
523 518 152 0
276 281 -409 0
299 -49 -511 0
342 217 581 0
-217 597 -506 0
444 -299 543 0
-466 512 196 0
-343 -77 463 0
-3 16 398 0
113 -436 368 0
19 -246 37 0
374 -421 -504 0
-95 -64 350 0
359 402 -79 0
-397 396 -293 0
-11 285 292 0
-18 -10 -45 0
-430 -113 -151 0
-209 398 -314 0
-307 264 260 0
206 -98 51 0
-157 -312 441 0
216 419 75 0
179 -290 -487 0
141 -571 15 0
-387 79 -508 0
397 -226 344 0
-209 511 72 0
-137 421 -294 0
118 287 -199 0
-459 344 66 0
-520 -542 -219 0
-522 498 -280 0
425 375 -208 0
-367 320 225 0
548 465 -533 0
224 433 317 0
590 391 -425 0
-513 498 -380 0
-565 495 307 0
-431 -420 -120 0
470 243 230 0
-102 203 -248 0
100 -495 -245 0
-280 466 190 0
207 300 -587 0
308 -170 -72 0
367 186 -120 0
449 379 122 0
-578 -589 586 0
-569 -107 -23 0
531 -94 287 0
372 319 341 0
-555 194 198 0
-573 -425 487 0
36 444 -386 0
577 -36 -160 0
-183 -442 62 0
7 -270 -280 0
74 -275 596 0
-171 -189 421 0
-242 84 491 0
68 -167 136 0
-469 -396 -41 0
-568 433 189 0
-319 -273 -88 0
94 -188 -190 0
91 -57 -231 0
313 -194 594 0
-492 -149 -97 0
-71 48 198 0
-439 -549 246 0
-376 138 -516 0
-485 -450 26 0
226 -7 -201 0
371 -205 -215 0
370 172 -346 0
8 50 52 0
-43 330 -32 0
-165 -34 -537 0
-115 -264 -453 0
297 413 193 0
-288 -438 -532 0
-599 -334 315 0
-53 -128 574 0
-397 -281 178 0
-126 -349 -418 0
-124 -193 138 0
-195 290 -421 0
507 146 -429 0
-223 -91 130 0
-303 17 -78 0
-93 249 -63 0
526 132 587 0
-513 156 -176 0
-452 233 -240 0
-596 51 287 0
13 -310 232 0
-546 -286 -292 0
-129 -296 351 0
448 -276 308 0
-471 -447 -518 0
410 322 145 0
-345 -310 -592 0
424 -202 47 0
339 336 -338 0
-525 -578 271 0
-402 -399 -439 0
492 -327 27 0
-16 597 122 0
-595 -313 105 0
-460 283 315 0
-237 -255 -530 0
180 -296 7 0
-81 -306 -342 0
413 41 -260 0
395 299 -449 0
-416 599 482 0
202 -313 384 0
367 -165 260 0
199 495 70 0
-313 -106 45 0
590 68 -284 0
-426 544 55 0
-337 321 -23 0
306 -507 61 0
-222 -58 -35 0
-294 459 234 0
-325 -76 588 0
8 463 80 0
-539 165 -551 0
288 -430 377 0
454 -551 488 0
193 528 -225 0
59 -482 372 0
-292 228 425 0
-182 145 -420 0
-489 485 437 0
-460 146 27 0
-225 4 -33 0
338 -272 -26 0
412 -382 60 0
-199 -574 -335 0
-200 264 -130 0
347 -122 -564 0
422 -66 -237 0
-460 402 -88 0
397 549 -267 0
-102 545 -344 0
-117 594 412 0
-191 45 -238 0
-544 367 -223 0
298 -294 -106 0
-345 -500 523 0
273 586 -160 0
-324 -373 -496 0
39 209 -129 0
-134 142 430 0
349 236 13 0
172 -199 424 0
-590 -294 284 0
329 225 -275 0
177 245 420 0
-367 -71 -495 0
-273 503 168 0
301 359 -120 0
-459 402 559 0
86 -395 88 0
261 575 -276 0
314 -503 -325 0
-212 398 240 0
279 253 -541 0
-196 458 555 0
4 -77 -185 0
151 457 -208 0
-323 -436 -242 0
-172 370 -101 0
-424 -181 470 0
440 -117 114 0
-301 383 457 0
126 -511 487 0
-575 523 127 0
31 572 258 0
420 190 -198 0
-116 68 75 0
40 -178 504 0
-82 128 595 0
-103 94 160 0
-492 -223 378 0
-127 34 25 0
183 377 -457 0
-27 509 -7 0
-209 -383 169 0
159 -511 545 0
-588 -288 410 0
-243 498 -400 0
456 -132 276 0
36 -222 -172 0
-389 -444 144 0
448 240 -369 0
-8 118 -262 0
363 -105 343 0
88 -507 -167 0
276 -174 444 0
354 276 588 0
-337 453 -476 0
226 512 74 0
-396 81 249 0
216 -276 309 0
557 493 485 0
-17 -446 503 0
548 -286 -413 0
592 484 28 0
450 294 -547 0
557 -502 -534 0
-578 62 -538 0
-302 333 254 0
-282 461 205 0
-95 9 -399 0
124 -224 -270 0
592 575 -497 0
82 150 -508 0
167 -522 500 0
288 6 -499 0
348 -414 554 0
527 -205 387 0
-327 -264 48 0
-95 -3 105 0
-399 -391 -386 0
338 -458 -288 0
48 293 194 0
-406 -304 290 0
243 -146 -448 0
-321 571 194 0
320 250 34 0
-111 557 -439 0
132 22 595 0
-258 179 5 0
265 -433 92 0
-495 103 359 0
170 -365 293 0
-352 -586 -42 0
347 -431 32 0
-520 -138 -321 0
390 104 -257 0
-580 -75 26 0
-509 408 554 0
-202 -344 9 0
176 -416 -573 0
-4 -61 -70 0
-183 -430 -42 0
335 53 273 0
-36 -386 134 0
469 3 46 0
110 143 -47 0
121 -446 -281 0
19 172 232 0
552 -247 117 0
262 449 -57 0
-454 434 -269 0
-520 325 253 0
13 -305 29 0
-588 -321 -533 0
-107 -519 140 0
549 337 -441 0
154 -140 -184 0
505 61 -401 0
-461 -434 264 0
253 161 -10 0
171 -325 53 0
-354 546 -568 0
-72 -247 316 0
-73 -390 -408 0
-8 353 -98 0
-464 500 70 0
-48 241 -467 0
502 -16 487 0
535 -220 -444 0
-469 -100 498 0
-395 69 -497 0
-495 -334 326 0
260 39 354 0
-598 526 295 0
-556 -550 -470 0
-341 120 -407 0
-525 -224 323 0
-295 373 331 0
-548 558 423 0
-255 -247 -465 0
-55 391 432 0
-24 481 -212 0
326 -425 286 0
114 -315 308 0
-287 -261 -597 0
434 148 10 0
-526 -52 -381 0
-77 192 -541 0
375 508 321 0
327 -2 401 0
-114 58 66 0
-456 -381 -302 0
-489 -185 71 0
-497 -387 84 0
369 189 -343 0
-392 486 -399 0
390 -450 -575 0
-110 61 409 0
528 106 -71 0
568 486 -229 0
389 -162 -102 0
104 23 442 0
-6 495 -305 0
505 -323 -95 0
241 167 -318 0
457 -555 -466 0
480 498 544 0
48 -318 391 0
-438 -327 -41 0
-269 401 -142 0
-576 -313 -463 0
277 -255 -377 0
577 188 -260 0
587 -461 -381 0
161 590 -504 0
-538 13 -345 0
330 -505 599 0
351 131 -543 0
-241 -542 2 0
309 -520 -351 0
346 -509 -563 0
320 -195 270 0
61 484 -531 0
539 274 -56 0
-258 343 356 0
68 100 -203 0
-248 269 63 0
-262 208 173 0
-488 -174 57 0
344 559 228 0
-556 -550 568 0
416 5 -218 0
-335 28 -51 0
-579 -530 353 0
29 -88 564 0
-79 -390 127 0
213 -543 136 0
94 320 303 0
432 -143 54 0
481 -43 407 0
-559 -335 -24 0
19 -363 260 0
-334 -299 -139 0
181 -318 -281 0
544 209 531 0
-184 -335 461 0
415 383 -205 0
-143 -172 504 0
187 -114 -571 0
-317 373 -489 0
355 -545 -210 0
158 192 129 0
-19 362 -161 0
-208 124 178 0
420 -188 -163 0
-285 357 -496 0
95 -367 464 0
-583 -37 44 0
542 -553 54 0
440 460 59 0
-473 -438 -496 0
100 -110 12 0
-535 -139 -281 0
-579 -545 -4 0
-209 239 168 0
248 261 -138 0
184 -179 151 0
59 336 499 0
-295 -262 -547 0
443 -534 -592 0
35 298 -225 0
-73 87 -18 0
-273 -439 567 0
463 -409 -337 0
560 436 16 0
-171 453 502 0
243 277 -470 0
-539 -462 168 0
-334 584 77 0
-45 -439 570 0
-575 -69 407 0
396 -348 -347 0
383 24 324 0
6 448 -456 0
-222 35 -529 0
226 117 572 0
99 -109 381 0
600 503 560 0
-448 -558 -194 0
524 218 402 0
396 184 315 0
300 420 442 0
-194 422 -425 0
493 -598 -218 0
380 -527 -66 0
152 -510 493 0
-142 -172 144 0
557 131 341 0
246 -413 -389 0
-119 518 -399 0
-98 -41 -21 0
-34 262 -2 0
-539 -320 261 0
478 203 -548 0
432 -174 -28 0
298 463 342 0
-314 481 -388 0
570 -368 -347 0
168 -169 64 0
-369 8 -65 0
-306 -479 65 0
515 -473 -481 0
-364 -562 -590 0
-451 498 -222 0
-278 -363 25 0
263 60 -175 0
171 -466 -105 0
2 383 135 0
511 567 593 0
67 374 -131 0
-159 -329 574 0
331 -292 -351 0
-470 -595 462 0
-428 409 -66 0
351 -564 557 0
69 -90 502 0
306 -213 -409 0
308 390 441 0
-166 -595 -26 0
29 52 198 0
167 132 -82 0
-405 -482 -211 0
296 540 187 0
-493 140 315 0
462 -571 -131 0
-505 317 -589 0
444 -3 -162 0
-526 -580 88 0
225 -293 52 0
465 469 1 0
368 -288 -39 0
70 218 462 0
-209 -409 286 0
-347 -173 281 0
-428 -531 -162 0
559 -521 -411 0
497 456 -265 0
-157 410 595 0
-337 407 -13 0
-237 -173 43 0
324 41 545 0
-425 37 -308 0
199 -481 490 0
-372 165 -137 0
-353 -218 335 0
-166 -379 455 0
356 239 599 0
462 259 -524 0
-409 -109 560 0
514 -19 108 0
-214 -475 525 0
256 472 356 0
156 -64 -467 0
359 46 -189 0
-525 -386 -41 0
-42 -299 81 0
-373 -34 -94 0
-592 -299 -35 0
164 -484 483 0
416 -248 599 0
342 -512 -359 0
-436 -100 348 0
338 207 291 0
-163 -599 -47 0
-180 123 227 0
-97 99 26 0
19 -505 508 0
-311 -287 285 0
576 239 -364 0
160 243 531 0
-86 268 403 0
565 -544 91 0
-344 2 -64 0
-315 158 -135 0
-199 -135 315 0
180 -456 133 0
-177 105 42 0
420 334 515 0
-564 -432 -506 0
477 -8 -99 0
-495 238 -590 0
112 -102 425 0
182 -271 325 0
98 -187 420 0
-530 148 -119 0
126 -63 415 0
-233 91 151 0
178 64 513 0
-80 87 -460 0
-586 453 -454 0
-411 -549 179 0
-263 -235 419 0
-426 530 211 0
-273 591 -454 0
-321 300 -365 0
445 437 -316 0
-175 24 -387 0
188 -287 428 0
133 -362 -21 0
-144 156 -221 0
17 -63 -342 0
-92 -117 -36 0
92 -449 -134 0
186 30 -47 0
300 586 -111 0
147 -246 530 0
280 -48 -196 0
-115 383 181 0
154 -10 445 0
266 -298 316 0
-139 588 -28 0
288 577 -267 0
-197 297 444 0
-267 -549 -575 0
-145 284 -479 0
408 -523 538 0
-409 88 390 0
96 548 -446 0
-503 75 -389 0
314 476 -449 0
-90 131 -281 0
-545 -153 -347 0
396 -146 10 0
477 -71 -466 0
300 424 524 0
206 87 -301 0
382 -589 67 0
86 403 -230 0
345 399 -357 0
256 363 -436 0
-299 154 -553 0
470 -44 -394 0
575 509 256 0
-343 -412 -486 0
74 180 280 0
499 436 135 0
285 183 306 0
427 497 175 0
-4 -10 -421 0
396 -34 -3 0
-522 292 -154 0
-250 -305 -502 0
-265 -102 573 0
9 288 584 0
-384 -243 -39 0
-222 200 -433 0
-401 173 549 0
20 129 -9 0
-98 -123 153 0
119 463 401 0
391 228 424 0
473 -491 157 0
-338 246 363 0
174 -439 568 0
488 -248 152 0
292 151 -196 0
-372 -416 543 0
208 477 -251 0
-346 -373 192 0
259 -18 -284 0
85 300 -464 0
572 182 440 0
-366 148 274 0
-133 -274 598 0
-211 -366 -339 0
-270 40 -3 0
581 19 552 0
31 -128 30 0
541 442 -50 0
490 -492 -297 0
508 -456 -393 0
581 -157 142 0
-61 479 -569 0
163 446 211 0
153 -246 485 0
-445 248 461 0
-127 104 -564 0
-285 -491 -89 0
496 -460 280 0
115 -288 -590 0
-381 -460 -84 0
-99 -325 582 0
283 -133 487 0
493 74 -351 0
-284 340 251 0
188 -421 240 0
-598 -563 -379 0
154 -477 -84 0
-599 -224 429 0
450 206 -40 0
-234 -125 99 0
-535 -23 42 0
122 358 237 0
28 201 -584 0
138 287 -285 0
522 24 -150 0
286 535 -478 0
574 -137 -45 0
442 524 269 0
-216 -27 -268 0
-99 267 157 0
-431 416 -104 0
325 442 -194 0
582 494 413 0
270 -528 486 0
-445 -76 -415 0
-405 479 -353 0
288 -121 120 0
7 -486 572 0
-520 96 -516 0
-362 485 321 0
-318 413 -189 0
7 204 -314 0
45 -590 -528 0
-295 233 -77 0
156 -144 -34 0
318 380 364 0
421 115 201 0
-52 -186 361 0
-341 -320 535 0
407 -241 -179 0
-381 -325 119 0
-392 233 109 0
-342 -88 -135 0
414 -147 -576 0
-392 138 292 0
-185 -199 -530 0
-365 -516 -199 0
-62 -334 148 0
-247 591 17 0
501 400 452 0
-184 -428 194 0
-62 -23 431 0
283 214 -236 0
578 345 370 0
-16 600 156 0
-20 -535 600 0
597 -124 -560 0
39 88 -169 0
503 559 -161 0
-381 274 260 0
-281 117 -490 0
-219 -307 360 0
-530 473 308 0
-66 308 460 0
-429 270 -581 0
286 -565 -38 0
-69 426 18 0
535 243 -59 0
57 -124 47 0
162 172 -416 0
320 114 587 0
-176 -551 -337 0
381 300 533 0
455 -11 -139 0
-26 255 373 0
63 -127 -255 0
446 315 345 0
400 449 -377 0
-342 7 235 0
-500 -530 223 0
30 188 589 0
444 -408 -487 0
154 209 192 0
334 540 -600 0
-540 -7 333 0
-440 188 -295 0
562 -464 -189 0
-480 596 -39 0
68 320 -69 0
-239 -113 -25 0
-53 -20 -507 0
161 302 -441 0
-521 25 86 0
-362 -521 -129 0
61 582 -494 0
439 -28 1 0
-540 150 -69 0
-73 -456 579 0
589 324 90 0
317 -350 -234 0
263 154 -166 0
406 -355 35 0
400 -73 270 0
-571 343 455 0
104 -11 -499 0
271 -306 -385 0
375 510 498 0
-69 -156 -19 0
-564 -168 -97 0
577 451 275 0
-29 375 313 0
33 162 -458 0
215 426 -163 0
-190 -153 -393 0
51 47 583 0
-233 -361 228 0
529 -410 -210 0
-33 328 531 0
-243 -300 594 0
-425 401 349 0
-464 43 -428 0
74 248 406 0
-265 -148 -403 0
20 80 17 0
117 -275 47 0
-124 102 198 0
310 413 1 0
176 194 -524 0
-159 305 274 0
-106 -93 -386 0
-369 -558 -65 0
360 -2 -364 0
310 70 79 0
-568 -225 448 0
-396 -166 -19 0
47 312 -244 0
142 112 114 0
-167 489 -354 0
-263 -387 438 0
-85 -517 583 0
-262 -371 -118 0
102 -21 -422 0
-178 17 -62 0
490 -226 -340 0
-584 -111 436 0
-474 509 -551 0
448 -471 -304 0
129 555 -58 0
109 -289 232 0
-408 379 -454 0
236 -207 -533 0
181 360 576 0
-13 -459 61 0
513 -332 -21 0
-53 -560 -596 0
324 -582 -18 0
-67 548 -399 0
176 -299 520 0
501 418 272 0
-16 -130 255 0
-115 78 531 0
272 -405 355 0
-214 -173 578 0
36 413 426 0
574 -486 144 0
517 322 -456 0
148 380 -76 0
-340 448 -408 0
-249 569 118 0
-554 483 281 0
-434 525 -20 0
292 -358 70 0
-22 -238 -224 0
-158 -119 466 0
427 -429 111 0
33 507 -116 0
46 135 597 0
-412 -462 -365 0
509 383 -496 0
541 -511 -125 0
-381 575 527 0
44 -461 319 0
408 522 132 0
549 579 39 0
-543 515 -293 0
29 -452 296 0
-166 -440 -132 0
536 420 -358 0
332 -559 377 0
-199 314 128 0
-103 569 391 0
-396 -450 -315 0
-233 -329 568 0
426 -172 -519 0
-213 -18 -274 0
296 -480 337 0
-599 -311 -427 0
-90 102 482 0
176 -187 -217 0
-204 235 -427 0
328 -129 -136 0
408 433 70 0
186 -181 -563 0
-552 135 -400 0
-187 460 106 0
-147 -425 201 0
-16 -190 -598 0
-541 351 -458 0
-520 265 451 0
254 100 -271 0
233 473 519 0
-480 568 -93 0
-488 196 223 0
239 155 511 0
344 68 -159 0
-131 -212 -278 0
578 259 -292 0
-540 -13 500 0
388 40 475 0
-2 222 599 0
-300 475 -1 0
-542 -439 320 0
-280 362 158 0
-363 127 -406 0
444 155 -250 0
391 -493 543 0
350 -400 358 0
-192 -466 579 0
-344 323 418 0
-111 -198 -169 0
-557 -515 421 0
377 -181 -35 0
-519 -204 -147 0
-5 78 -407 0
-255 109 -518 0
200 301 375 0
205 237 -283 0
-68 -324 154 0
511 -119 54 0
184 346 122 0
445 133 -189 0
-48 -236 507 0
409 -45 -231 0
464 -140 481 0
146 409 -17 0
301 192 293 0
224 363 446 0
56 355 -381 0
166 301 387 0
52 109 -385 0
-540 -211 18 0
245 587 134 0
-17 32 -41 0
468 174 337 0
437 -71 473 0
208 7 -64 0
-164 -208 334 0
-433 145 238 0
-393 -477 250 0
116 557 74 0
433 -144 -346 0
401 416 -363 0
378 376 -100 0
54 -477 3 0
-441 -160 -258 0
-464 26 -459 0
-33 505 191 0
-79 -442 28 0
-193 -152 -448 0
376 94 -504 0
509 -41 -199 0
190 401 -424 0
2 -475 -410 0
10 104 -482 0
-18 60 103 0
499 -41 276 0
-244 295 204 0
-181 -428 454 0
268 161 -573 0
43 204 -309 0
440 181 92 0
-546 570 -205 0
95 -281 595 0
-398 237 -381 0
-381 292 -377 0
-91 193 -240 0
-530 308 -294 0
575 397 -145 0
331 489 -467 0
-220 -206 -154 0
-184 501 -134 0
-32 -235 -352 0
-89 450 -562 0
166 69 447 0
-370 -212 -25 0
-593 227 521 0
-37 321 -440 0
459 -385 -404 0
-197 -67 -524 0
118 221 -252 0
-530 -294 31 0
-212 -201 -134 0
-181 407 459 0
248 499 304 0
-308 -280 243 0
550 -359 -432 0
426 228 -288 0
-155 118 278 0
566 447 106 0
420 319 -440 0
74 84 -308 0
-519 -154 -326 0
330 512 515 0
-258 470 185 0
84 575 304 0
-134 560 -59 0
183 -443 341 0
-397 -421 399 0
-148 600 435 0
-69 294 453 0
-376 -220 -302 0
145 -286 39 0
-306 -565 -566 0
560 -50 78 0
79 577 549 0
114 260 -366 0
25 -182 -415 0
-104 191 -330 0
464 71 -218 0
-149 354 244 0
314 450 -323 0
-551 -290 198 0
-7 275 -589 0
-59 -282 265 0
-199 13 -54 0
-515 -137 -152 0
528 536 -576 0
495 -11 -183 0
-162 63 -194 0
247 391 24 0
-375 -172 161 0
315 -514 -334 0
419 -331 567 0
-267 86 382 0
209 240 -324 0
51 191 388 0
498 -582 -339 0
-90 -236 -6 0
485 -260 27 0
2 -18 -482 0
-120 -538 -466 0
-589 559 483 0
-558 212 552 0
509 336 287 0
-147 -305 522 0
-62 182 -298 0
-356 -143 -183 0
-42 -380 194 0
534 -438 312 0
-421 -68 -484 0
219 -3 -464 0
-43 -548 -19 0
-446 -560 417 0
-307 311 231 0
280 323 239 0
-425 -518 137 0
93 -155 -247 0
-257 -359 -231 0
226 423 -254 0
-370 -7 24 0
-507 269 -400 0
565 -513 242 0
307 106 -589 0
186 308 -217 0
103 -351 491 0
381 -481 448 0
-68 17 349 0
-326 243 345 0
-10 -539 197 0
-77 516 -5 0
-26 -129 62 0
441 -6 445 0
-564 -70 15 0
-84 126 75 0
-527 291 -254 0
-190 -246 245 0
136 -502 -67 0
206 -311 420 0
-170 13 151 0
366 -224 513 0
-472 232 165 0
-442 111 105 0
-4 -546 -24 0
153 371 236 0
-522 216 -598 0
562 -54 589 0
-79 71 16 0
324 -106 356 0
-450 -119 -596 0
451 145 537 0
-474 244 120 0
-132 487 89 0
542 -365 488 0
-252 -72 -392 0
424 292 -533 0
518 166 -221 0
121 425 82 0
175 -384 -530 0
485 -437 -561 0
411 107 394 0
243 167 -448 0
-80 -552 -497 0
-229 -592 -86 0
-449 575 -498 0
-570 394 525 0
-581 457 -123 0
-538 -466 320 0
265 180 -396 0
-446 563 285 0
21 53 3 0
-496 406 -270 0
-97 -168 393 0
148 -195 -27 0
-396 568 328 0
575 315 -532 0
-167 -582 173 0
506 242 236 0
387 470 -241 0
-300 182 586 0
211 -75 -580 0
470 -588 119 0
-440 -478 -296 0
-6 189 -484 0
-463 553 588 0
596 221 -78 0
239 -483 -370 0
526 -296 315 0
134 267 29 0
439 -544 537 0
-489 431 -319 0
-469 420 450 0
-343 400 -298 0
313 -146 366 0
-329 362 9 0
346 8 -543 0
166 1 286 0
-390 293 159 0
-523 576 214 0
14 236 -558 0
318 446 288 0
548 -184 -165 0
213 97 504 0
174 -13 -267 0
368 478 -314 0
57 196 -80 0
-542 109 555 0
192 522 529 0
573 -141 598 0
202 579 112 0
486 -237 -188 0
327 -227 -102 0
-217 511 533 0
-144 -130 66 0
454 -460 293 0
92 244 343 0
421 520 143 0
62 376 -157 0
-13 303 -347 0
28 -35 591 0
129 323 456 0
575 -549 244 0
-24 -254 -96 0
423 -515 -498 0
326 -349 -448 0
136 108 29 0
-327 -491 74 0
-589 108 -598 0
526 130 198 0
-298 -45 -328 0
387 468 -366 0
186 -231 -598 0
333 -373 -334 0
418 402 238 0
-331 101 -261 0
-330 -375 293 0
449 -95 171 0
264 -80 -33 0
48 224 -550 0
523 337 -387 0
46 -461 15 0
101 -121 8 0
361 -563 600 0
577 410 24 0
-196 90 -562 0
127 -388 -546 0
539 488 336 0
371 -578 294 0
-108 -281 -47 0
15 185 -269 0
-203 -168 12 0
56 389 -153 0
57 454 391 0
301 -523 235 0
49 -54 356 0
561 -221 350 0
20 -564 -503 0
530 4 -349 0
507 439 589 0
-259 379 128 0
264 -167 -159 0
589 -264 -342 0
44 -408 -339 0
263 -79 451 0
44 -436 40 0
592 -50 -364 0
547 456 146 0
-124 -428 79 0
549 442 501 0
317 -149 -73 0
391 -173 -149 0
330 335 -203 0
-102 -324 -302 0
-306 63 327 0
182 486 140 0
510 -249 -316 0
433 -209 -556 0
70 116 494 0
398 1 183 0
281 -457 -437 0
402 -566 35 0
-460 -441 561 0
345 252 529 0
519 -542 -191 0
-454 547 -120 0
-435 416 -492 0
-238 370 487 0
510 -570 -33 0
177 34 -32 0
-218 -86 293 0
-382 -6 -102 0
295 512 424 0
-432 -411 147 0
13 576 118 0
458 -209 389 0
-352 -82 -199 0
-181 351 -159 0
-142 273 25 0
-345 156 506 0
190 67 482 0
-589 -60 -258 0
220 254 -301 0
-307 -225 289 0
-479 -288 -85 0
9 67 565 0
-230 -71 6 0
395 408 -512 0
-456 459 563 0
-213 -327 475 0
-545 -446 592 0
462 -442 -34 0
-507 51 142 0
279 18 -538 0
415 -456 -59 0
4 462 -24 0
483 226 -246 0
144 -589 577 0
-483 -154 -38 0
565 -6 158 0
265 118 -296 0
-528 -237 184 0
-506 -158 497 0
57 428 485 0
-556 260 -293 0
-410 -456 -350 0
572 491 33 0
-320 121 -432 0
244 102 435 0
-508 435 540 0
-480 446 -582 0
255 363 88 0
275 -68 -512 0
-147 -162 103 0
28 445 -545 0
127 -37 233 0
145 575 486 0
201 -358 -518 0
-496 -463 -17 0
268 211 94 0
253 -248 522 0
-259 -310 -47 0
444 -599 -126 0
468 493 -384 0
-540 455 576 0
500 -593 457 0
383 -291 119 0
46 -431 50 0
550 398 -50 0
271 542 -387 0
387 426 -130 0
354 -402 521 0
-468 -37 -264 0
46 44 -82 0
-427 -349 584 0
-352 -556 -554 0
156 -580 280 0
-432 -70 -391 0
-360 -226 516 0
-337 433 440 0
-102 196 -16 0
237 209 -57 0
-499 406 -2 0
-317 -312 -263 0
-134 49 -227 0
-479 -587 -44 0
91 -480 -235 0
426 482 174 0
-253 -330 -324 0
-92 427 -270 0
-295 153 134 0
575 -250 -124 0
81 45 -410 0
203 1 389 0
116 477 -124 0
445 -409 -592 0
-304 478 578 0
-375 -580 469 0
500 -72 42 0
160 -125 46 0
466 -9 -503 0
321 272 -450 0
-3 216 350 0
-92 -525 361 0
525 -444 429 0
197 -129 -27 0
-191 265 -502 0
35 11 -223 0
-309 546 -529 0
-45 573 276 0
-363 -149 -142 0
-347 -312 479 0
-122 208 -193 0
-400 543 205 0
-199 -39 599 0
316 592 17 0
-523 -443 -446 0
518 271 -600 0
255 -443 480 0
423 380 -368 0
-153 599 185 0
176 -596 213 0
194 -113 295 0
-73 -272 526 0
-326 -26 -249 0
189 -200 -61 0
-110 72 -423 0
95 -593 169 0
-367 -133 176 0
-555 211 136 0
-119 -365 -430 0
-264 -451 270 0
-343 562 593 0
148 196 -274 0
-151 -394 -51 0
-565 172 119 0
-36 153 587 0
-214 88 -456 0
527 577 -256 0
514 -161 -269 0
-481 -570 -541 0
29 274 103 0
-480 383 -162 0
-180 -596 -19 0
557 -155 -352 0
-269 132 510 0
53 -79 -563 0
391 -282 -442 0
-282 378 402 0
384 580 68 0
91 501 143 0
280 -383 400 0
255 235 -361 0
-44 102 -80 0
593 311 -106 0
-276 352 -128 0
-225 224 152 0
-100 -19 364 0
-241 328 -75 0
-223 355 317 0
-440 504 352 0
116 169 -480 0
-230 316 -66 0
-435 -170 -83 0
497 -469 -1 0
214 -29 557 0
-200 228 -375 0
-517 -548 146 0
491 -128 589 0
-318 333 403 0
33 73 560 0
-555 -240 -140 0
-61 -267 -497 0
-437 -33 -85 0
-588 -465 -219 0
-400 47 279 0
-385 580 180 0
-242 36 353 0
-478 157 371 0
-455 -3 -521 0
-223 14 108 0
-491 142 19 0
327 143 149 0
-330 -363 -346 0
-273 -255 587 0
303 -594 134 0
104 -165 -426 0
286 425 561 0
-312 -414 -54 0
-414 285 3 0
-552 149 172 0
407 312 461 0
-282 -228 192 0
-357 -530 -276 0
106 -344 139 0
265 234 -296 0
-592 242 144 0
557 331 55 0
-101 378 526 0
-555 106 -218 0
-521 398 341 0
33 127 -451 0
-258 -140 -335 0
-94 240 471 0
-181 -474 486 0
169 -41 -291 0
-528 -581 -459 0
-399 -592 -24 0
198 1 -81 0
286 150 -516 0
-342 289 -587 0
-445 481 -318 0
172 -309 -517 0
-466 -379 -504 0
187 -155 -107 0
-149 -358 584 0
251 203 352 0
334 -526 490 0
-440 203 -204 0
518 283 250 0
600 -122 -402 0
346 -582 27 0
-421 -340 194 0
-564 -372 -118 0
280 395 277 0
140 -30 -598 0
288 -324 572 0
50 -169 -52 0
-246 116 433 0
549 65 -402 0
-448 581 -383 0
-23 -199 67 0
548 -234 471 0
421 -37 -149 0
201 -463 -441 0
-117 125 313 0
161 148 -192 0
-481 164 558 0
-443 -550 514 0
-201 154 -176 0
569 539 478 0
523 -425 -478 0
-143 236 -81 0
-445 -227 -334 0
-234 509 293 0
-334 9 -525 0
-16 -309 -542 0
-344 -128 -513 0
-291 485 570 0
-431 -262 124 0
-53 263 -163 0
514 297 -405 0
431 175 -373 0
268 -522 357 0
497 -542 582 0
90 -244 -237 0
112 598 -464 0
-6 146 -452 0
-346 112 527 0
-537 -514 -256 0
158 345 -573 0
471 -503 536 0
-525 -446 -29 0
218 482 302 0
-182 -315 233 0
341 -271 289 0
324 188 347 0
553 -111 -282 0
-279 481 -534 0
193 570 -364 0
-533 -35 380 0
560 504 -306 0
-466 -398 369 0
-169 372 305 0
-475 -547 -146 0
-42 475 -19 0
333 -192 -68 0
-44 -122 163 0
9 -229 531 0
-320 585 -205 0
535 -558 -430 0
-364 441 -394 0
-106 -198 268 0
96 555 -30 0
192 268 182 0
228 118 245 0
-547 426 -340 0
-236 -430 -183 0
-355 490 -98 0
308 496 -47 0
196 -2 224 0
122 422 -554 0
-76 -359 -283 0
119 65 527 0
-295 536 350 0
406 9 -347 0
-4 283 -465 0
84 539 -294 0
413 -167 233 0
585 -160 179 0
228 471 -237 0
-523 -151 314 0
176 -285 478 0
505 -123 465 0
-486 -569 -35 0
-109 4 300 0
-206 -295 480 0
-35 417 -179 0
367 351 -120 0
-112 -87 -353 0
11 -411 489 0
486 233 -479 0
-31 575 -168 0
-67 371 -367 0
-201 -375 -572 0
-55 341 -568 0
159 -296 -531 0
76 -471 488 0
414 -90 163 0
448 545 365 0
115 409 -467 0
186 -5 108 0
135 74 246 0
-344 259 -164 0
435 -202 -94 0
-331 78 -253 0
301 220 64 0
-351 -494 8 0
-299 -383 -270 0
-98 176 -7 0
-99 -133 161 0
-415 -93 -579 0
-274 -584 61 0
-415 -182 365 0
559 -105 -70 0
-507 -66 -155 0
-343 395 260 0
-464 131 -543 0
177 55 164 0
559 -419 -191 0
365 132 -191 0
-314 -165 32 0
26 -367 -557 0
352 -396 351 0
298 53 -593 0
-267 -292 152 0
-462 548 208 0
-92 481 497 0
-317 158 -462 0
-229 555 -574 0
202 -181 61 0
-546 -102 349 0
-172 113 11 0
272 -237 112 0
369 -34 361 0
-485 -193 60 0
-223 -443 272 0
-296 562 70 0
115 -398 -472 0
283 -83 -245 0
-307 57 -354 0
60 232 208 0
-279 -29 -38 0
16 -157 -272 0
-277 294 362 0
143 364 -321 0
-426 -32 -270 0
-193 579 -544 0
118 -224 -371 0
475 -326 -449 0
107 -144 243 0
79 496 445 0
-121 475 327 0
-249 218 -108 0
-234 -357 -12 0
-171 -101 379 0
389 447 260 0
-26 17 447 0
314 -427 -592 0
540 -34 -6 0
462 28 -273 0
-501 428 -540 0
471 -1 110 0
581 -264 -347 0
103 192 514 0
221 161 544 0
-534 505 -11 0
-31 182 221 0
-53 304 -6 0
-36 420 -525 0
171 -372 494 0
435 -452 -292 0
41 -143 207 0
277 390 437 0
508 118 -352 0
-77 412 -575 0
290 407 31 0
214 -388 503 0
-414 -532 -316 0
-19 -162 -578 0
71 8 199 0
107 -439 529 0
-503 381 -87 0
558 -262 -212 0
334 -54 427 0
-588 -161 -424 0
497 487 154 0
-131 269 547 0
265 69 -112 0
-429 -427 -220 0
570 447 -126 0
175 502 -10 0
204 -187 30 0
-129 -76 -291 0
-180 51 -83 0
-580 -463 -277 0
-315 -57 -501 0
36 -566 311 0
-401 545 418 0
572 450 -242 0
-112 -483 -105 0
-163 38 -95 0
-88 431 -555 0
157 -97 234 0
147 435 548 0
72 184 179 0
-469 -148 -391 0
-434 342 183 0
-495 -305 -99 0
-362 169 -313 0
523 -12 486 0
257 -228 303 0
-80 -308 346 0
506 423 -172 0
-24 -9 146 0
361 335 8 0
-121 -439 -535 0
-420 -600 -193 0
283 84 552 0
13 52 436 0
12 -580 -284 0
-585 -252 343 0
502 497 216 0
-578 -220 -80 0
-115 -403 -444 0
482 -10 498 0
172 -362 485 0
139 65 -59 0
440 -190 248 0
-323 243 447 0
447 319 -95 0
-149 292 384 0
-573 -585 557 0
-309 -81 299 0
419 78 -354 0
-564 -112 -217 0
-206 -462 189 0
343 -471 -54 0
-588 549 -438 0
-105 139 -403 0
599 240 128 0
337 338 253 0
418 145 361 0
560 458 -563 0
402 -346 178 0
125 -340 -428 0
368 45 -503 0
-60 -466 -242 0
-420 266 -323 0
-468 -418 3 0
178 125 263 0
433 107 420 0
271 -49 -142 0
-467 -31 -277 0
73 507 505 0
-510 71 278 0
36 -58 -203 0
217 -112 353 0
396 406 -28 0
129 521 335 0
-435 147 -475 0
172 -554 445 0
294 389 505 0
17 -564 -403 0
500 -278 121 0
416 -425 30 0
-435 -193 265 0
-340 165 -23 0
194 13 279 0
343 -276 -325 0
545 265 516 0
-562 -69 -263 0
-432 54 363 0
-308 -517 132 0
-85 -94 553 0
6 596 -404 0
-93 579 568 0
505 286 -475 0
516 564 484 0
-204 205 -13 0
-371 6 -521 0
-67 358 210 0
438 569 -62 0
-58 -269 -350 0
487 -100 505 0
-184 -228 248 0
223 264 -94 0
-297 557 -375 0
-336 -306 -54 0
-446 564 -127 0
382 459 -319 0
-187 489 205 0
-467 205 -258 0
132 -404 358 0
-479 231 -361 0
-50 365 477 0
227 146 -563 0
-22 24 46 0
506 -448 -20 0
368 411 -458 0
404 -272 -572 0
-585 -546 514 0
-584 -138 -374 0
530 212 -436 0
-19 -565 -156 0
-405 580 505 0
531 -191 325 0
-423 -389 -535 0
-430 540 451 0
-422 337 473 0
-118 395 363 0
129 -326 101 0
395 -284 -476 0
87 126 365 0
395 425 344 0
204 304 -61 0
202 -503 -526 0
-68 581 -25 0
566 395 146 0
-280 -516 404 0
407 -43 -198 0
171 -200 564 0
268 -350 571 0
-222 379 124 0
421 591 -580 0
466 567 -270 0
269 538 -380 0
376 -556 483 0
580 -165 -284 0
444 -37 -462 0
-29 -200 591 0
220 419 78 0
-255 363 195 0
-109 26 248 0
-155 -232 -312 0
532 -456 433 0
-255 73 -374 0
473 23 207 0
-358 -359 59 0
303 -465 319 0
84 -287 -469 0
196 505 -127 0
288 600 494 0
-200 477 -539 0
-355 59 130 0
413 376 -219 0
384 286 207 0
140 465 -373 0
-138 349 -391 0
415 32 272 0
-290 545 295 0
-354 -9 366 0
376 -89 231 0
506 170 -92 0
364 -234 -504 0
403 63 -129 0
287 -83 -227 0
-198 -131 132 0
135 16 -562 0
599 -282 -532 0
-506 370 -121 0
-91 533 -394 0
443 238 -63 0
-285 -284 598 0
370 208 48 0
-79 -120 44 0
195 184 571 0
125 -327 -519 0
-239 129 215 0
-321 559 -241 0
-63 230 192 0
203 -542 -524 0
197 242 -195 0
130 188 -366 0
-451 276 442 0
296 -445 -366 0
-560 299 -21 0
-131 249 -192 0
46 271 170 0
505 -108 -467 0
343 -551 200 0
-68 -449 -457 0
523 -329 -545 0
229 209 -474 0
562 -191 77 0
503 393 177 0
-475 219 -46 0
-267 -535 448 0
-186 -195 -84 0
-175 464 -262 0
-156 -198 108 0
60 -195 107 0
120 -367 27 0
577 542 447 0
193 -118 -138 0
-597 -106 115 0
511 211 213 0
-392 421 -405 0
-436 -573 348 0
245 -470 281 0
174 300 -365 0
206 -253 220 0
418 -456 -84 0
-362 -440 36 0
313 -404 30 0
126 -6 163 0
24 342 -44 0
-255 22 -129 0
328 -503 -34 0
-488 -345 -455 0
-267 449 464 0
273 525 531 0
497 -351 362 0
-459 -117 -95 0
-85 251 519 0
-44 -49 413 0
301 419 497 0
242 211 345 0
240 57 474 0
485 392 -279 0
-24 432 380 0
-114 -53 -136 0
223 -465 203 0
11 151 252 0
-553 259 -560 0
234 -235 -252 0
-124 445 581 0
362 519 466 0
178 -251 -249 0
303 -570 -251 0
-40 -315 -311 0
-455 -485 268 0
403 -492 -355 0
-190 234 406 0
569 -69 371 0
-334 113 -548 0
-36 -312 -489 0
413 237 -445 0
300 17 -64 0
492 590 -183 0
-198 419 -51 0
-232 21 98 0
-138 -289 164 0
-141 136 533 0
8 70 -230 0
-127 152 -552 0
-31 -380 -201 0
-465 -477 494 0
-408 -19 -532 0
204 477 -122 0
253 -514 -360 0
-267 571 -220 0
-102 385 -526 0
-377 476 -567 0
547 21 -117 0
546 -267 -160 0
-321 205 224 0
-563 221 -224 0
448 -262 -447 0
189 431 560 0
-550 10 403 0
15 141 -175 0
476 -153 -184 0
384 30 404 0
286 -199 -185 0
97 -558 135 0
-496 327 -369 0
260 477 517 0
-266 506 252 0
60 -488 -157 0
-593 427 -507 0
-501 373 -476 0
535 518 291 0
-501 166 17 0
-79 559 450 0
451 -223 -59 0
395 -202 347 0
17 114 -12 0
-125 354 -263 0
225 527 -255 0
-245 -173 -524 0
-335 248 -28 0
-316 -376 -78 0
-322 49 442 0
167 561 -236 0
434 -437 40 0
-190 477 -103 0
-537 509 332 0
-292 -47 503 0
-535 -530 51 0
-99 -368 72 0
-550 100 44 0
459 -374 -355 0
-257 248 -136 0
412 -64 28 0
202 -273 -351 0
125 -163 -402 0
-469 287 -385 0
463 -162 -76 0
598 -246 -425 0
-252 -16 -446 0
589 -301 -144 0
215 446 329 0
-354 -543 74 0
-163 -522 -513 0
-83 185 362 0
411 -176 -526 0
316 -95 -134 0
-317 183 503 0
-294 491 69 0
50 -325 -553 0
359 74 -600 0
471 565 148 0
221 310 -500 0
-383 -569 -447 0
231 564 -242 0
-320 -186 185 0
490 161 -20 0
-161 344 528 0
455 570 515 0
-524 563 -97 0
73 -552 -548 0
515 -404 308 0
-415 -341 178 0
-289 -101 -527 0
-182 -158 -268 0
256 268 118 0
105 378 -55 0
-6 -85 -46 0
141 371 227 0
192 -319 543 0
91 -240 -126 0
370 -302 457 0
428 -498 159 0
-428 -102 370 0
159 -73 -210 0
-306 -12 -351 0
558 178 -51 0
398 -480 475 0
410 -241 -527 0
262 491 230 0
600 -465 -352 0
207 140 -399 0
-67 -597 498 0
41 521 -334 0
-175 -390 -572 0
198 368 -188 0
175 -585 -436 0
307 -258 -419 0
401 -47 320 0
-6 578 279 0
-15 352 -210 0
-66 97 -3 0
376 -261 504 0
-37 497 450 0
581 -501 327 0
-120 338 -426 0
-479 -82 3 0
545 -14 -210 0
-80 -186 -190 0
-535 459 -514 0
415 555 367 0
530 23 177 0
600 188 -83 0
525 526 414 0
-242 -297 208 0
274 290 -524 0
55 308 30 0
258 -527 -66 0
-24 364 -523 0
173 377 -105 0
-456 -177 -108 0
212 563 -468 0
-454 -377 348 0
-257 -522 531 0
-195 -378 -22 0
-598 -218 438 0
95 -311 427 0
358 435 -298 0
-576 459 553 0
486 372 -436 0
-519 389 -50 0
-409 556 -333 0
-432 -35 383 0
481 164 -384 0
-315 489 157 0
-122 -453 94 0
277 343 -127 0
-558 270 314 0
287 -476 78 0
-305 477 -426 0
394 -126 -85 0
-212 -236 -424 0
198 230 -110 0
-113 -136 29 0
435 99 -94 0
414 53 380 0
-576 -577 -525 0
-17 36 -475 0
389 -312 584 0
-316 -488 139 0
408 278 492 0
593 -577 11 0
481 94 51 0
224 430 345 0
127 -487 -153 0
-532 -396 -249 0
-365 -476 -421 0
261 180 -357 0
170 -472 -84 0
9 -433 231 0
-309 64 156 0
471 -589 69 0
235 -31 -267 0
-468 -110 -25 0
110 -118 249 0
-213 -431 543 0
-58 -346 398 0
195 -299 348 0
-225 -136 311 0
-48 316 -286 0
-566 495 119 0
-48 -576 423 0
90 174 -543 0
-321 193 138 0
171 -92 -70 0
129 -412 -387 0
279 6 15 0
-114 228 190 0
-82 -499 544 0
229 -8 468 0
157 -60 103 0
8 246 -125 0
262 574 -51 0
-95 -150 453 0
-151 -260 -211 0
165 434 152 0
136 -279 61 0
-351 446 345 0
-80 -47 565 0
332 63 -462 0
-578 -79 379 0
418 501 -62 0
-165 572 -242 0
-158 460 -289 0
-19 -252 366 0
-148 -258 -510 0
285 243 325 0
-163 -205 60 0
-546 132 246 0
109 79 -44 0
-57 548 129 0
171 235 567 0
534 133 132 0
264 -3 -203 0
-452 -349 -416 0
161 -581 217 0
-478 -539 557 0
-68 -579 32 0
454 -396 -535 0
-327 456 -17 0
112 477 96 0
430 -223 132 0
-174 -24 -554 0
260 466 79 0
-466 446 -384 0
-55 -389 479 0
17 -546 -599 0
558 -80 -336 0
-161 -110 555 0
-216 -416 230 0
-153 507 7 0
61 -469 285 0
531 -484 194 0
295 -220 348 0
-443 19 485 0
552 -367 238 0
354 -61 172 0
-569 -169 316 0
-182 -533 502 0
397 -201 478 0
409 126 -266 0
148 -374 -319 0
-60 -248 77 0
-227 -195 -183 0
-139 373 317 0
-381 193 196 0
56 -5 80 0
-461 130 -210 0
43 -588 -20 0
-254 -267 429 0
-274 39 -232 0
-236 7 330 0
178 59 -550 0
195 -266 -407 0
-139 -198 -125 0
96 192 -92 0
175 19 582 0
-78 -579 242 0
-281 527 -190 0
-46 380 23 0
557 41 530 0
-38 -108 -550 0
-385 -397 337 0
-455 -115 -283 0
-258 -370 -389 0
426 -598 -392 0
83 -305 156 0
187 -564 581 0
-501 110 254 0
-164 251 -360 0
-50 499 391 0
335 415 -243 0
-107 -240 174 0
-564 469 231 0
-362 -514 393 0
181 29 265 0
262 480 578 0
-65 390 -11 0
-208 261 232 0
112 -58 -468 0
-501 -565 -450 0
114 -430 -596 0
445 526 -596 0
413 -206 -554 0
221 -315 356 0
115 -398 -57 0
-234 -498 -17 0
227 -231 -242 0
-194 196 -221 0
-144 19 -367 0
503 144 466 0
-158 350 -83 0
-138 -152 -506 0
339 -101 -270 0
268 -60 585 0
-119 -418 -262 0
528 -177 460 0
574 -57 80 0
453 -482 266 0
596 330 370 0
365 260 521 0
-235 40 117 0
478 -461 -523 0
535 -238 -111 0
-484 563 -329 0
499 461 -305 0
555 449 531 0
-194 63 -9 0
-275 469 -90 0
-147 60 -262 0
61 -118 594 0
29 -105 -572 0
-120 -77 -294 0
-334 -462 -340 0
88 -377 277 0
-111 -94 150 0
524 39 -471 0
-22 -385 -102 0
296 -363 28 0
490 -144 89 0
523 -59 -37 0
194 -533 570 0
300 -180 -154 0
-522 -592 -39 0
-433 -67 -474 0
-131 -362 260 0
-23 183 362 0
-472 460 -275 0
72 189 497 0
138 31 -387 0
-522 256 289 0
551 -38 -573 0
-486 -166 -157 0
552 -392 -206 0
426 118 -141 0
-9 -466 -569 0
-381 -261 -337 0
-229 -599 502 0
513 -105 5 0
256 53 -467 0
333 152 -504 0
249 250 -441 0
-385 -528 75 0
-50 -306 597 0
35 92 164 0
-115 381 -374 0
-459 -385 -538 0
545 -34 -383 0
203 462 -581 0
63 443 -502 0
-563 -158 -239 0
-264 -60 77 0
-375 63 380 0
229 590 524 0
-180 -398 -205 0
-553 -134 473 0
202 -404 -65 0
12 -496 432 0
-560 -416 -75 0
-595 254 115 0
-321 -271 -508 0
522 -265 384 0
-286 585 502 0
241 -248 -553 0
319 392 371 0
-599 26 378 0
393 116 182 0
15 -138 -526 0
327 556 -196 0
35 -124 66 0
287 -364 -245 0
-201 -135 243 0
74 435 310 0
-418 455 -398 0
-403 -343 -185 0
405 399 204 0
-311 -46 100 0
-136 -238 -576 0
405 218 183 0
-146 404 222 0
359 -156 -267 0
247 -483 220 0
561 -368 239 0
61 490 -491 0
126 -243 -278 0
463 -387 233 0
-378 49 162 0
-234 73 63 0
75 -46 131 0
-253 379 363 0
-521 93 -205 0
-433 551 -334 0
-65 303 85 0
-556 599 -115 0
566 -417 -541 0
209 94 322 0
-423 596 478 0
253 -105 -259 0
-290 479 -65 0
389 -351 -294 0
-516 600 356 0
-465 441 -482 0
-50 -9 73 0
-189 -391 -108 0
-146 22 -196 0
201 380 -475 0
313 66 -350 0
-379 -486 -526 0
244 -573 358 0
-240 119 489 0
-255 -145 168 0
-230 -268 -456 0
-87 173 -348 0
290 -468 453 0
-321 -300 -543 0
566 -341 -266 0
-146 -542 -310 0
-340 -324 -503 0
-291 377 563 0
-16 25 581 0
492 380 78 0
321 -267 23 0
161 66 591 0
368 302 -552 0
578 -55 169 0
321 180 -514 0
-573 -143 -396 0
32 502 171 0
-442 -425 -578 0
283 -22 -1 0
-341 -52 -323 0
543 -195 -572 0
-506 495 568 0
-417 208 -439 0
-87 254 174 0
296 -327 -513 0
20 -270 -349 0
-38 -257 324 0
350 3 -411 0
306 -81 -453 0
-253 -399 -362 0
515 -178 257 0
412 -145 -296 0
-409 -179 -470 0
-381 -326 133 0
277 364 35 0
-409 361 591 0
232 -105 86 0
-206 -253 55 0
-283 -159 147 0
471 495 -391 0
530 201 120 0
-573 223 521 0
360 491 31 0
-301 68 -439 0
-410 254 -577 0
61 -8 -367 0
126 243 231 0
-555 498 549 0
-586 68 188 0
-156 -53 357 0
-554 -55 -266 0
558 345 -47 0
170 103 56 0
313 83 35 0
551 -575 333 0
160 31 -351 0
-41 156 353 0
-20 37 48 0
-76 -396 175 0
457 262 578 0
340 -274 -100 0
437 -269 228 0
424 367 451 0
33 310 -485 0
-321 478 -72 0
-315 192 -191 0
96 497 -268 0
-452 -315 -7 0
-486 115 -460 0
-588 570 -480 0
584 600 -597 0
-164 291 308 0
-15 -492 -385 0
-276 -593 -421 0
-210 519 -445 0
363 125 -281 0
-370 75 -508 0
-307 -289 407 0
272 -152 -279 0
-173 115 -98 0
595 429 -197 0
546 559 348 0
254 -281 21 0
-430 294 -398 0
169 247 162 0
590 -57 437 0
88 -441 -185 0
347 20 474 0
470 140 417 0
-39 -471 63 0
135 27 460 0
456 -418 550 0
-44 -104 539 0
150 441 -248 0
577 -428 -45 0
-599 -129 213 0
-568 -186 -551 0
-364 204 234 0
20 -353 -552 0
-135 292 591 0
210 112 312 0
253 593 -304 0
-125 -521 -172 0
-275 118 -592 0
-449 -155 -401 0
-26 -501 161 0
-330 238 -224 0
147 15 -209 0
201 26 151 0
-388 -223 71 0
-156 573 -7 0
459 -196 82 0
-132 429 -25 0
-269 281 -586 0
343 380 -560 0
-526 -532 316 0
458 571 296 0
-12 -488 -478 0
439 -9 158 0